Interval Linear Algebra and Computational Complexity

نویسندگان

  • Jaroslav Horácek
  • Milan Hladík
  • Michal Cerný
چکیده

This work connects two mathematical fields – computational complexity and interval linear algebra. It introduces the basic topics of interval linear algebra – regularity and singularity, full column rank, solving a linear system, deciding solvability of a linear system, computing inverse matrix, eigenvalues, checking positive (semi)definiteness or stability. We discuss these problems and relations between them from the view of computational complexity. Many problems in interval linear algebra are intractable, hence we emphasize subclasses of these problems that are easily solvable or decidable. The aim of this work is to provide a basic insight into this field and to provide materials for further reading and research.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Idempotent and tropical mathematics. Complexity of algorithms and interval analysis

A very brief introduction to tropical and idempotent mathematics is presented. Tropical mathematics can be treated as a result of a dequantization of the traditional mathematics as the Planck constant tends to zero taking imaginary values. In the framework of idempotent mathematics usually constructions and algorithms are more simple with respect to their traditional analogs. We especially exam...

متن کامل

Extending the Point Algebra into the Qualitative Algebra

We study the computational complexity of the qualitative algebra which is a temporal formalism that combines the point algebra, the point-interval algebra and Allen’s interval algebra. We identify all tractable fragments containing the point algebra and show that, for all other fragments containing the point algebra, the problem is NP-complete.

متن کامل

Analytical and Verified Numerical Results Concerning Interval Continuous-time Algebraic Riccati Equations

This paper focuses on studying the interval continuous-time algebraic Riccati equation A∗X + XA + Q − XGX = 0, both from the theoretical aspects and the computational ones. In theoretical parts, we show that Shary’s results for interval linear systems can only be partially generalized to this interval Riccati matrix equation. We then derive an efficient technique for enclosing the united stable...

متن کامل

The Computational Complexity ofRelating Points

Vilain has suggested the point-interval algebra for reasoning about the relative positions of points and intervals on the real line. The satissability problem for the full point-interval algebra is known to be NP-complete but the computational complexity of its 4; 294; 967; 296 subclasses has not been investigated. We classify these subclasses with respect to whether their corresponding satissa...

متن کامل

Interval Temporal Logics: a Journey

We discuss a family of modal logics for reasoning about relational structures of intervals over (usually) linear orders, with modal operators associated with the various binary relations between such intervals, known as Allen’s interval relations. The formulae of these logics are evaluated at intervals rather than points and the main effect of that semantic feature is substantially higher expre...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1602.00349  شماره 

صفحات  -

تاریخ انتشار 2015